#ifndef _LIBC_h_
#define _LIBC_h_

void setup_IDT_entry (DESCR_INT *item, byte selector, dword offset, byte access, byte cero);

#endif
